假设某公司业务的用例模型中，“检验”用例需要等到“生产”用例执行之后才能执行，这两个用例之间的关系属于( )关系。